From 96134532ec29f0e91af302b4e98936db54dddbef Mon Sep 17 00:00:00 2001 From: "kfraser@localhost.localdomain" Date: Thu, 14 Dec 2006 14:13:18 +0000 Subject: [PATCH] Add another package check (python-xml). Signed-off-by: Jan Beulich --- tools/Makefile | 6 +++++- tools/check/check_python_xml | 16 ++++++++++++++++ 2 files changed, 21 insertions(+), 1 deletion(-) create mode 100755 tools/check/check_python_xml diff --git a/tools/Makefile b/tools/Makefile index b4156fc904..8cc4e1cd31 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -36,7 +36,7 @@ all: check $(MAKE) ioemu .PHONY: install -install: check +install: check_install @set -e; for subdir in $(SUBDIRS-y); do \ $(MAKE) -C $$subdir $@; \ done @@ -58,6 +58,10 @@ distclean: clean check: $(MAKE) -C check +.PHONY: check_install +check_install: check + $(MAKE) -C check install + .PHONY: check_clean check_clean: $(MAKE) -C check clean diff --git a/tools/check/check_python_xml b/tools/check/check_python_xml new file mode 100755 index 0000000000..95174f4688 --- /dev/null +++ b/tools/check/check_python_xml @@ -0,0 +1,16 @@ +#!/bin/bash +# CHECK-INSTALL + +function error { + echo + echo " *** Check for python-xml package FAILED" + exit 1 +} + +python -c ' +import os.path, sys +for p in sys.path: + if os.path.exists(p + "/xml/dom/minidom.py"): + sys.exit(0) +sys.exit(1) +' || error -- 2.30.2